var NAVTREEINDEX =
{
"index.html":[],
"annotated.html":[0,0],
"classAF.html":[0,0,0],
"classArgument.html":[0,0,1],
"classExtendedArgument.html":[0,0,2],
"classGrounded.html":[0,0,3],
"classLabelIterator.html":[0,0,4],
"classLabelling.html":[0,0,5],
"classOrClause.html":[0,0,6],
"classSATFormulae.html":[0,0,7],
"classSCCSEQ.html":[0,0,8],
"classSetArguments.html":[0,0,9],
"classSetArgumentsIterator.html":[0,0,10],
"classSetArgumentsVector.html":[0,0,11],
"classVariable.html":[0,0,12],
"classes.html":[0,1],
"functions.html":[0,2,0],
"functions_func.html":[0,2,1],
"functions_vars.html":[0,2,2],
"files.html":[1,0],
"AF_8cpp.html":[1,0,0],
"Argument_8cpp.html":[1,0,2],
"ExtendedArgument_8cpp.html":[1,0,6],
"Grounded_8cpp.html":[1,0,8],
"Labelling_8cpp.html":[1,0,10],
"misc_8cpp.html":[1,0,13],
"OrClause_8cpp.html":[1,0,14],
"Preferred_8h.html":[1,0,19],
"SATFormulae_8cpp.html":[1,0,20],
"SCCSEQ_8cpp.html":[1,0,22],
"semopt_8h.html":[1,0,24],
"SetArguments_8cpp.html":[1,0,25],
"SetArgumentsVector_8cpp.html":[1,0,27],
"globals.html":[1,1,0],
"globals_func.html":[1,1,1]
};
